Update scala-library to 2.13.17 by foundweekends-bot[bot] · Pull Request #393 · foundweekends/conscript

foundweekends-bot · 2025-10-07T03:03:09Z

About this PR

📦 Updates org.scala-lang:scala-library from 2.12.20 to 2.13.17

✅ Please merge!

I'll automatically update this PR to resolve conflicts as long as you don't change it yourself.

If you'd like to skip this version, you can just close this PR. If you have any feedback, just mention me in the comments below.

Configure Scala Steward for your repository with a .scala-steward.conf file.

Have a fantastic day writing Scala!

💡 Applied Scalafix Migrations

org.scala-lang:{scala-library,scala-compiler,scala-reflect,scalap}:2.13.0 (created no change)
- dependency:Collection213Upgrade@org.scala-lang.modules::scala-collection-migrations:2.8.1
- Documentation: https://github.com/scala/scala-collection-compat#collection213upgrade

⚙ Adjust future updates

Add this to your .scala-steward.conf file to ignore future updates of this dependency:

updates.ignore = [ { groupId = "org.scala-lang", artifactId = "scala-library" } ]

Or, add this to slow down future updates of this dependency:

dependencyOverrides = [{
  pullRequests = { frequency = "30 days" },
  dependency = { groupId = "org.scala-lang", artifactId = "scala-library" }
}]

^{labels: library-update, early-semver-minor, semver-spec-minor, scalafix-migrations, commit-count:1}

Update scala-library to 2.13.17

4629705

foundweekends-bot bot requested review from eed3si9n and xuwei-k as code owners October 7, 2025 03:03

foundweekends-bot bot mentioned this pull request Oct 7, 2025

Update scala-library to 2.13.16 #363

Closed

xuwei-k marked this pull request as draft October 7, 2025 06:11

xuwei-k closed this Oct 14, 2025

foundweekends-bot bot deleted the update/scala-library-2.13.17 branch October 28, 2025 03:18